<body>
Default implementations of a some of the HotTargui abstractions.
</body>